Testimony to niceness

From Safety to Guilty & from Liveness to Niceness

Robots are solving challenging tasks that we want them to be able to perform (liveness), but we also do not want them to endanger their surroundings (safety). Formal methods provide ways of proving such correctness properties, but have the habit of only saying “yes” when the answer is “yes” (soundness). More often than not, formal methods say “no”: They find out that the system is neither safe ...

The Niceness of Unique Sink Orientations

Random Edge is the most natural randomized pivot rule for the simplex algorithm. Considerable progress has been made recently towards fully understanding its behavior. Back in 2001, Welzl introduced the concepts of reachmaps and niceness of Unique Sink Orientations (USO), in an effort to better understand the behavior of Random Edge. In this paper, we initiate the systematic study of these conc...

Cbo Testimony

Eyewitness testimony.

The criminal justice system relies heavily on eyewitness identification for investigating and prosecuting crimes. Psychology has built the only scientific literature on eyewitness identification and has warned the justice system of problems with eyewitness identification evidence. Recent DNA exoneration cases have corroborated the warnings of eyewitness identification researchers by showing tha...

Testimony to West Virginia Joint Judiciary Subcommittee

Chairman Snyder, Chairwoman Brown, Members of the Subcommittee, it is an honor to join you here today. The election process is the cornerstone of our democracy. Ensuring reliable elections and increasing the public's confidence and trust in the election process are perhaps the two most important responsibilities of our federal, state, and local governments. As this committee considers how voter...